TACAS '98 : tools and algorithms for the construction and analysis of systems (Lisbon, 28 March - 4 April 1998)Steffen, Bernhard.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-64356-7, XIII, 455 p, isbn 3-540-64356-7Conference Proceedings

Leveraging applications of formal methods (First international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004)Margaria, Tiziana; Steffen, Bernhard.Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, VIII-196 p, isbn 978-3-540-48928-3Conference Proceedings

Combining finite automata, parallel programs and SDL using Petri netsGRAHLMANN, B.Lecture notes in computer science. 1998, pp 102-117, issn 0302-9743, isbn 3-540-64356-7Conference Paper

Correct system design (recent insights and advances)Olderog, Ernst-Rüdiger; Steffen, Bernhard.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66624-9, XIV, 415 p, isbn 3-540-66624-9Book

A verified model checker for the modal μ-calculus in coqSPRENGER, C.Lecture notes in computer science. 1998, pp 167-183, issn 0302-9743, isbn 3-540-64356-7Conference Paper

Modeling and verification of sC++ applicationsCATTEL, T.Lecture notes in computer science. 1998, pp 232-248, issn 0302-9743, isbn 3-540-64356-7Conference Paper

VMCAI 2004 : verification, model checking, and abstract interpretation (Venice, 11-13 January 2004)Steffen, Bernhard; Levi, Giorgio.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-20803-8, XI, 324 p, isbn 3-540-20803-8Conference Proceedings

Formal verification of pipelined processorsBRYANT, R. E.Lecture notes in computer science. 1998, pp 1-4, issn 0302-9743, isbn 3-540-64356-7Conference Paper

OPEN/CÆSAR : An open software architecture for verification, simulation, and testingGARAVEL, H.Lecture notes in computer science. 1998, pp 68-84, issn 0302-9743, isbn 3-540-64356-7Conference Paper

International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004)MARGARIA, Tiziana; STEFFEN, Bernhard.Theoretical computer science. 2008, Vol 404, Num 3, issn 0304-3975, 125 p.Conference Proceedings

Full life-cycle support for end-to-end processes : Service orientationSTEFFEN, Bernhard; NARAYAN, Prakash.Computer (Long Beach, CA). 2007, Vol 40, Num 11, issn 0018-9162, 4, 64-73 [11 p.]Article

Plug-and-Play Higher-Order Process Integration : Simplicity in IT: The Power of LessNEUBAUER, Johannes; STEFFEN, Bernhard.Computer (Long Beach, CA). 2013, Vol 46, Num 11, pp 56-62, issn 0018-9162, 7 p.Article

Simplicity as a Driver for Agile InnovationMARGARIA, Tiziana; STEFFEN, Bernhard.Computer (Long Beach, CA). 2010, Vol 43, Num 6, pp 90-92, issn 0018-9162, 3 p.Article

High-order compact solvers for the three-dimensional Poisson equationSUTMANN, Godehard; STEFFEN, Bernhard.Journal of computational and applied mathematics. 2006, Vol 187, Num 2, pp 142-170, issn 0377-0427, 29 p.Article

Run-time agents as a means of reconciling flexibility and scalability of servicesMARGARIA, Tiziana; STEFFEN, Bernhard.Lecture notes in computer science. 2006, pp 257-268, issn 0302-9743, isbn 3-540-69265-7, 1Vol, 12 p.Conference Paper

Service engineering : Linking business and ITMARGARIA, Tiziana; STEFFEN, Bernhard.Computer (Long Beach, CA). 2006, Vol 39, Num 10, pp 45-55, issn 0018-9162, 11 p.Article

Model checking for object specifications in hidden algebraLUCANU, Dorel; CIOBANU, Gabriel.Lecture notes in computer science. 2004, pp 97-109, issn 0302-9743, isbn 3-540-20803-8, 13 p.Conference Paper

Detecting races in relay Ladder Logic programsAIKEN, A; FÄHNDRICH, M; ZHENDONG SU et al.Lecture notes in computer science. 1998, pp 184-200, issn 0302-9743, isbn 3-540-64356-7Conference Paper

Practical model-checking using gamesSTEVENS, P; STIRLING, C.Lecture notes in computer science. 1998, pp 85-101, issn 0302-9743, isbn 3-540-64356-7Conference Paper

Translation validationPNUELI, A; SIEGEL, M; SINGERMAN, E et al.Lecture notes in computer science. 1998, pp 151-166, issn 0302-9743, isbn 3-540-64356-7Conference Paper

A rule markup language and its application to UMLJACOB, Joost.Lecture notes in computer science. 2006, pp 26-41, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 16 p.Conference Paper

Boolean algebra of shape analysis constraintsKUNCAK, Viktor; RINARD, Martin.Lecture notes in computer science. 2004, pp 59-72, issn 0302-9743, isbn 3-540-20803-8, 14 p.Conference Paper

Checking interval based properties for reactive systemsPEI YU; XU QIWEN.Lecture notes in computer science. 2004, pp 122-134, issn 0302-9743, isbn 3-540-20803-8, 13 p.Conference Paper

Analysis of recursive game graphs using data flow equationsETESSAMI, K.Lecture notes in computer science. 2004, pp 282-296, issn 0302-9743, isbn 3-540-20803-8, 15 p.Conference Paper

History-dependent scheduling for cryptographic processesVANACKERE, Vincent.Lecture notes in computer science. 2004, pp 16-29, issn 0302-9743, isbn 3-540-20803-8, 14 p.Conference Paper